Remove debug printks.

Sometimes they generate too much output on serial console.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/xen/arch/x86/vmx.c b/xen/arch/x86/vmx.c
index d2b439306cc2c3f71c7363deef2994f118c773ea..d52ab0c8eb0ff1195b013c002b80e5f813f897f0 100644 (file)
--- a/xen/arch/x86/vmx.c
+++ b/xen/arch/x86/vmx.c
@@ -1445,12 +1445,9 @@ asmlinkage void vmx_vmexit_handler(struct cpu_user_regs regs)
 
            if (idtv_info_field & 0x800) { /* valid error code */
                unsigned long error_code;
-               printk("VMX exit %x: %x/%lx\n",
-                       exit_reason, idtv_info_field, error_code);
                __vmread(VM_EXIT_INTR_ERROR_CODE, &error_code);
                __vmwrite(VM_ENTRY_EXCEPTION_ERROR_CODE, error_code);
-           } else
-               printk("VMX exit %x: %x\n", exit_reason, idtv_info_field);
+           } 
        }
         VMX_DBG_LOG(DBG_LEVEL_1, "idtv_info_field=%x", idtv_info_field);
     }